Procedure with circumferential pulmonary vein isolation